* texinfo.tex: Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 8 Jun 2012 00:03:10 +0000 (17:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 8 Jun 2012 00:03:10 +0000 (17:03 -0700)
commit1e4db3372cc9c8850218fb109343d45c2ba22d90
treed62e9152dbc1cad9322432efa27669716b55a739
parent9215564f41d62a07a6b731d383aceacbb6e74f80
* texinfo.tex: Merge from gnulib.
doc/misc/ChangeLog
doc/misc/texinfo.tex